Mapping SysML to modelica to validate wireless sensor networks non-functional requirements

International audienceWireless Sensor Networks (WSN) have registered a large success in the scientific and industrial communities for their broad application domains. Furthermore, the WSN specification is a complex task considering to their distributed and embedded nature and the strong interactions between their hardware and software parts. Moreover, most of approaches use semi-formal methods to design systems and generally simulation to validate their properties in order to produce models without errors and conform to the system specifications. In this context, we propose a Model Driven Architecture (MDA) approach to improve the verification of the WSN properties. This approach combines the advantages of the System Modeling Language (SysML) and the Modelica language which promote the reusability and improve the development process. In this work, we specify a model transformation from SysML static, dynamic and requirement diagrams to their corresponding elements in Modelica. Thanks to the SysML requirement diagram which is transformed into Modelica properties (constraints), we propose a technique using dynamic tests to verify WSN properties. We have used the Topcased platform to implement our approach 1 and chosen a crossroads monitoring system which is based on wireless sensors to illustrate it. Besides, we have verified and validated some wireless sensors properties of the studied system

Clinical and molecular report of c.1331 + 1G > A mutation of the AAAS gene in a Moroccan family with Allgrove syndrome: a case report

Abstract Background Allgrove syndrome is a rare autosomal recessive disorder characterized by the triad of achalasia, alacrimia and adrenal insufficiency. It is caused by the mutations of the AAAS gene located on chromosome 12q13. The c.1331 + 1G > A mutation is one of the most common described in North Africa including Tunisia, Algeria and Libya. We report here the clinical and genetic profile of a Moroccan family with Allgrove syndrome. Case presentation A Moroccan sister and brother born to consanguineous parents were found, at the ages of twelve and fifteen months old respectively, to have alacrimia and isolated glucocorticoid deficiency. Later, they developed achalasia whereupon Allgrove syndrome was diagnosed clinically and confirmed by DNA sequencing which revealed a c.1331 + 1G > A mutation in the AAAS gene. Conclusion This finding reinforces previous studies in demonstrating the geographic expansion of the ancestral mutation c.1331 + 1G > A in North African patients and thus enabling targeted genetic counseling. To the best of our knowledge, this is the first report of the AAAS gene mutation in Moroccan patients